Structured Object-Oriented Formal Language and Method, 2013 Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateur : Liu Shaoying
Testing and tools.- Tools for specification.- Model checking.- Application and prototyping.
Up-to-date results
Fast-track conference proceedings
State-of-the-art research
Date de parution : 08-2013
Ouvrage de 149 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Structured Object-Oriented Formal Language and Method :
Mots-clés :
functional scenario; modeling approach; tempporal logic; testing; verification