ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Latest Publications
TOTAL DOCUMENTS
20
(FIVE YEARS 0)
H-INDEX
4
(FIVE YEARS 0)
Published By IEEE
9781467370431
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.12
◽
2015
◽
Cited By ~ 9
Author(s):
Michele Ceccarelli
◽
Luigi Cerulo
◽
Giuseppe De Ruvo
◽
Vittoria Nardone
◽
Antonella Santone
Keyword(s):
Time Series
◽
Model Checking
◽
Gene Regulatory Networks
◽
Probabilistic Model
◽
Regulatory Networks
◽
Time Series Data
◽
Series Data
◽
Probabilistic Model Checking
◽
Gene Regulatory
Download Full-text
Syntax-Driven Program Verification of Matching Logic Properties
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.18
◽
2015
◽
Cited By ~ 2
Author(s):
Domenico Bianculli
◽
Antonio Filieri
◽
Carlo Ghezzi
◽
Dino Mandrioli
◽
Alessandro Maria Rizzi
Keyword(s):
Program Verification
Download Full-text
[Title page iii]
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.2
◽
2015
◽
Keyword(s):
Title Page
Download Full-text
Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.9
◽
2015
◽
Cited By ~ 3
Author(s):
Yves Ledru
◽
Akram Idani
◽
Jean-Luc Richier
Keyword(s):
Security Policy
Download Full-text
[Copyright notice]
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.3
◽
2015
◽
Keyword(s):
Copyright Notice
Download Full-text
[Publisher's information]
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.20
◽
2015
◽
Download Full-text
Measuring Behaviour Interactions between Product-Line Features
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.11
◽
2015
◽
Cited By ~ 5
Author(s):
Joanne M. Atlee
◽
Uli Fahrenberg
◽
Axel Legay
Keyword(s):
Product Line
◽
Line Features
Download Full-text
Committees and reviewers
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.6
◽
2015
◽
Download Full-text
[Title page i]
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.1
◽
2015
◽
Keyword(s):
Title Page
Download Full-text
Table of contents
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
◽
10.1109/formalise.2015.4
◽
2015
◽
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close