Search

Search Constraints

You searched for: Subject Programming & scripting languages: general

Search Results

622. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015)

628. Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018)