Solving scheduling problems by untimed model checking : the clinical chemical analyser case study

A.J. Wijs; J.C. Pol, van de; E. Bortnik

Solving scheduling problems by untimed model checking : the clinical chemical analyser case study

A.J. Wijs
, J.C. Pol, van de
, E. Bortnik

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005)
Redacteuren	T. Margaria, M. Massink
Uitgeverij	Association for Computing Machinery, Inc.
Pagina's	54-61
ISBN van geprinte versie	1-59593-148-1
Status	Gepubliceerd - 2005

Andere bestanden en links

Full text

Citeer dit

Wijs, A. J., Pol, van de, J. C., & Bortnik, E. (2005). Solving scheduling problems by untimed model checking : the clinical chemical analyser case study. In T. Margaria, & M. Massink (editors), Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005) (blz. 54-61). Association for Computing Machinery, Inc..

Wijs, A.J. ; Pol, van de, J.C. ; Bortnik, E. / Solving scheduling problems by untimed model checking : the clinical chemical analyser case study. Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005). redacteur / T. Margaria ; M. Massink. Association for Computing Machinery, Inc., 2005. blz. 54-61

@inproceedings{43951e0e04754091b5c407a9f68d1403,

title = "Solving scheduling problems by untimed model checking : the clinical chemical analyser case study",

author = "A.J. Wijs and \{Pol, van de\}, J.C. and E. Bortnik",

year = "2005",

language = "English",

isbn = "1-59593-148-1",

pages = "54--61",

editor = "T. Margaria and M. Massink",

booktitle = "Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005)",

publisher = "Association for Computing Machinery, Inc.",

address = "United States",

}

Wijs, AJ, Pol, van de, JC & Bortnik, E 2005, Solving scheduling problems by untimed model checking : the clinical chemical analyser case study. in T Margaria & M Massink (reds.), Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005). Association for Computing Machinery, Inc., blz. 54-61.

Solving scheduling problems by untimed model checking : the clinical chemical analyser case study. / Wijs, A.J.; Pol, van de, J.C.; Bortnik, E.
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005). reds. / T. Margaria; M. Massink. Association for Computing Machinery, Inc., 2005. blz. 54-61.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Solving scheduling problems by untimed model checking : the clinical chemical analyser case study

AU - Wijs, A.J.

AU - Pol, van de, J.C.

AU - Bortnik, E.

PY - 2005

Y1 - 2005

UR - http://doi.acm.org/10.1145/1081180.1081188

M3 - Conference contribution

SN - 1-59593-148-1

SP - 54

EP - 61

BT - Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005)

A2 - Margaria, T.

A2 - Massink, M.

PB - Association for Computing Machinery, Inc.

ER -

Wijs AJ, Pol, van de JC, Bortnik E. Solving scheduling problems by untimed model checking : the clinical chemical analyser case study. In Margaria T, Massink M, redacteurs, Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005). Association for Computing Machinery, Inc. 2005. blz. 54-61