Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium
  • BME MIT PhD Minisymposium, 2019, 26th
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium
  • BME MIT PhD Minisymposium, 2019, 26th
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Software Model Checking with a Combination of Explicit Values and Predicates

Thumbnail
View/Open
Proceedings of the 26th Minisymposium - 001 (284.1Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/15172
Collections
  • BME MIT PhD Minisymposium, 2019, 26th [7]
Title
Software Model Checking with a Combination of Explicit Values and Predicates
Author
Bajkai, Viktória Dorina
Hajdu, Ákos
Date of issue
2019
Access level
Open access
Copyright owner
Budapest University of Technology and Economics
Conference title
26th Minisymposium
Conference place
Budapest University of Technology and Economics
Conference date
January 24, 2019
Language
en
Page
4 - 7
Version
Published
Title of the container document
Proceedings of the 26th Minisymposium
Document type
könyvfejezet
Document genre
Konferenciacikk
University
Budapest University of Technology and Economics
Department
Department of Measurement and Information Systems

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV