Model Checking, the Technology and the Tools

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationControl and Computer Tecnology in the Future Application
Editors sn
Place of PublicationLos Alamitos
PublisherIEEE Society
Pages1-2
Number of pages2
DOIs
Publication statusPublished - 2012
Event2012 International Conference on System Engineering and Technology - Los Alamitos
Duration: 11 Sept 201212 Sept 2012

Publication series

Name
PublisherIEEE

Conference

Conference2012 International Conference on System Engineering and Technology
Period11/09/1212/09/12

Keywords

  • Geen BTA classificatie

Cite this