( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.

, и . MBT, том 190 из Electronic Notes in Theoretical Computer Science, стр. 85-97. Elsevier, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Roger Lundqvist

J Lundqvist

Ulrika Lundqvist

Anders Lundqvist

Thomas Lundqvist

 

Другие публикации лиц с тем же именем

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems., , , , и . Sci. Comput. Program., (2022)Impediments for software test automation: A systematic literature review., , , и . Softw. Test. Verification Reliab., (2017)'State of the Art' in Using Agile Methods for Embedded Systems Development., , и . COMPSAC (2), стр. 522-527. IEEE Computer Society, (2009)978-0-7695-3726-9.Liability for software in safety-critical mechatronic systems: An industrial questionnaire., , , и . SEES@ICSE, стр. 44-50. IEEE, (2012)Can we do useful industrial software engineering research in the shadow of lean and agile?, , , и . CESI@ICSE, стр. 67-68. IEEE Computer Society, (2013)Formal verification of an autonomous wheel loader by model checking., , , и . FormaliSE@ICSE, стр. 74-83. ACM, (2018)A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology., , и . SEAA, стр. 301-304. IEEE Computer Society, (2017)Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board., , , и . ICST, стр. 113-122. IEEE Computer Society, (2014)Technical Debt in Test Automation., , , и . ICST, стр. 887-892. IEEE Computer Society, (2012)Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller., , , и . ICN/ICONS/MCL, стр. 192. IEEE Computer Society, (2006)