Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Minxue Pan, Shouyu Chen, Yu Pei 0001, Tian Zhang 0001, Xuandong Li
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
ICSE, 2019.

ICSE 2019
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICSE-2019-PanCP0L,
	acmid         = "3339535",
	author        = "Minxue Pan and Shouyu Chen and Yu Pei 0001 and Tian Zhang 0001 and Xuandong Li",
	booktitle     = "{Proceedings of the 41st International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2019.00037",
	isbn          = "978-1-7281-0869-8",
	pages         = "212--222",
	publisher     = "{IEEE / ACM}",
	title         = "{Easy modelling and verification of unpredictable and preemptive interrupt-driven systems}",
	year          = 2019,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.