Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By ACM Press

9781450328531
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of software models for cyber-physical systems

2014 ◽  
Author(s):  
Sandeep Neema ◽  
Gabor Simko ◽  
Tihamer Levendovszky ◽  
Joseph Porter ◽  
Akshay Agrawal ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Software Models

Analysis and testing of PLEXIL plans

2014 ◽  
Author(s):  
Jason Biatek ◽  
Michael W. Whalen ◽  
Mats P. E. Heimdahl ◽  
Sanjai Rayadurgam ◽  
Michael R. Lowry
Load More ...
Sign in / Sign up

Export Citation Format

Share Document