00711nam a2200205 a 4500001001400000003000700014005001700021008004100038020001800079040000800097245012500105260005400230300002900284504005100313650003000364650003600394650003800430700001800468700001900486vtls000029357KUKTEM20251117145242.0080610t2008    xxka   f      001 0 eng d  a9781848210134  aUMP00aModeling and verification of real-time systems :bformalisms and software tools /cedited by Stephen Merz, Nicolas Navet  aLondon ;aHoboken, NJ  :bISTE/John Wiley,cc2008  a393 p. :bill. ;c24 cm.  aIncludes bibliograaphical references and index 0aReal-time data processing 0aComputer softwarexVerification 0aFormal methods (Computer science)1 aMerz, Stephen1 aNavet, Nicolas