Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks (2011)
AUTHORS:
Kindermann Roland
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
11th International Conference on Application of Concurrency to System Design (ACSD)
PAGES:
185--194
URL:
http://dx.doi.org/10.1109/ACSD.2011.29
@inproceedings{ KindermannJunttilaNiemela:ACSD2011, author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "IEEE", optmonth = "", optnumber = "", title = "Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks", url = "http://dx.doi.org/10.1109/ACSD.2011.29", booktitle = "11th International Conference on Application of Concurrency to System Design (ACSD)", optaddress = "", optnote = "", pages = "185--194", flags = "copy", optorganization = "", year = "2011", optvolume = "", opteditor = "", optseries = "" }