Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319254227, 9783319254234
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Recursive Probabilistic Temporal Logic

2015 ◽  
pp. 336-348 ◽  
Author(s):  
Pablo F. Castro ◽  
Cecilia Kilmurray ◽  
Nir Piterman
Keyword(s):  
Temporal Logic

Consistency Verification of Specification Rules

2015 ◽  
pp. 50-66 ◽  
Author(s):  
Thai Son Hoang ◽  
Shinji Itoh ◽  
Kyohei Oyama ◽  
Kunihiko Miyazaki ◽  
Hironobu Kuruma ◽  
...  
Keyword(s):  
Consistency Verification

scholarly journals Domain-Specific Languages with Scala

2015 ◽  
pp. 1-16 ◽  
Author(s):  
Cyrille Artho ◽  
Klaus Havelund ◽  
Rahul Kumar ◽  
Yoriyuki Yamagata
Keyword(s):  
Domain Specific Languages ◽  
Domain Specific

scholarly journals Refinement-Based Verification of the FreeRTOS Scheduler in VCC

2015 ◽  
pp. 170-186 ◽  
Author(s):  
Sumesh Divakaran ◽  
Deepak D’Souza ◽  
Anirudh Kushwah ◽  
Prahladavaradan Sampath ◽  
Nigamanth Sridhar ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document