FM 2012: Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642327582, 9783642327599
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Time to Add Order to Distributed Testing

2012 ◽  
pp. 232-246 ◽  
Author(s):  
Robert M. Hierons ◽  
Mercedes G. Merayo ◽  
Manuel Núñez
Keyword(s):  
Distributed Testing

scholarly journals A Formal Approach to Autonomous Vehicle Coordination

2012 ◽  
pp. 52-67 ◽  
Author(s):  
Mikael Asplund ◽  
Atif Manzoor ◽  
Mélanie Bouroche ◽  
Siobhàn Clarke ◽  
Vinny Cahill
Keyword(s):  
Autonomous Vehicle ◽  
Formal Approach

scholarly journals Improved BDD-Based Discrete Analysis of Timed Systems

2012 ◽  
pp. 326-340 ◽  
Author(s):  
Truong Khanh Nguyen ◽  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong ◽  
Yan Liu
Keyword(s):  
Timed Systems ◽  
Discrete Analysis

Julienne: A Trace Slicer for Conditional Rewrite Theories

2012 ◽  
pp. 28-32 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Francisco Frechina ◽  
Daniel Romero
Load More ...
Sign in / Sign up

Export Citation Format

Share Document