Matches in Library of Congress for { <http://lccn.loc.gov/2007045063> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2007045063 contributor B10803076.
- 2007045063 created "2008.".
- 2007045063 date "2008".
- 2007045063 date "2008.".
- 2007045063 dateCopyrighted "2008.".
- 2007045063 description "Includes bibliographical references and index.".
- 2007045063 description "Time Petri nets -- analysis methods and verification with TINA / Bernard Berthomieu, Florent Peres and François Vernadat -- Validation of reactive systems by means of verification and conformance testing / Camille Constant ... [et al.] -- An introduction to model checking / Stephan Merz -- Model checking timed automata / Patricia Bouyer, François Laroussinie -- Specification and analysis of asynchronous systems using CADP / Radu Mateescu -- Synchronous program verification with Lustre/Lesar / Pascal Raymond -- Synchronous functional programming with Lucid Synchrone / Paul Caspi, Grégoire Hamon, Marc Pouzet -- Verification of real-time probabilistic systems / Marta Kwiatkowska ... [et al.] -- Verification of probabilistic systems methods and tools / Serge Haddad and Patrice Moreaux -- Modeling and verification of real-time systems using the IF toolset / Marius Bozga ... [et al.] -- Architecture description languages: an introduction to the SAE AADL / Anne-Marie Déplanche, Sébastien Faucou.".
- 2007045063 extent "393 p. :".
- 2007045063 hasFormat "Modeling and verification of real-time systems.".
- 2007045063 identifier "1848210132".
- 2007045063 identifier "9781848210134".
- 2007045063 identifier F?func=service&doc_library=BVB01&doc_number=016163019&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2007045063 identifier 2007045063-b.html.
- 2007045063 identifier 2007045063-d.html.
- 2007045063 identifier 2007045063-t.html.
- 2007045063 isFormatOf "Modeling and verification of real-time systems.".
- 2007045063 issued "2008".
- 2007045063 issued "2008.".
- 2007045063 language "eng".
- 2007045063 publisher "London : ISTE ; Hoboken, NJ : John Wiley,".
- 2007045063 relation "Modeling and verification of real-time systems.".
- 2007045063 subject "004.01/51 22".
- 2007045063 subject "Computer software Verification.".
- 2007045063 subject "Formal methods (Computer science)".
- 2007045063 subject "QA76.54 .M635 2008".
- 2007045063 subject "Real-time data processing.".
- 2007045063 tableOfContents "Time Petri nets -- analysis methods and verification with TINA / Bernard Berthomieu, Florent Peres and François Vernadat -- Validation of reactive systems by means of verification and conformance testing / Camille Constant ... [et al.] -- An introduction to model checking / Stephan Merz -- Model checking timed automata / Patricia Bouyer, François Laroussinie -- Specification and analysis of asynchronous systems using CADP / Radu Mateescu -- Synchronous program verification with Lustre/Lesar / Pascal Raymond -- Synchronous functional programming with Lucid Synchrone / Paul Caspi, Grégoire Hamon, Marc Pouzet -- Verification of real-time probabilistic systems / Marta Kwiatkowska ... [et al.] -- Verification of probabilistic systems methods and tools / Serge Haddad and Patrice Moreaux -- Modeling and verification of real-time systems using the IF toolset / Marius Bozga ... [et al.] -- Architecture description languages: an introduction to the SAE AADL / Anne-Marie Déplanche, Sébastien Faucou.".
- 2007045063 title "Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.".
- 2007045063 type "text".