[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - Automatic abstraciton for worst-case analysis of discrete systems
- 作者Balarin, Felice
- 文件大小113.30KB
- 发表时间2000
- DOI10.1145/343647.343830
- 页码494-501
Inspections of formal specificationsHilburn, Thomas B. · ACM SIGCSE Bulletin · 1996
Teams need a process!Hilburn, Thomas B. · ACM SIGCSE Bulletin · 2000
Team Projects in Computing EducationBörstler, Jürgen; Hilburn, Thomas B. · ACM Transactions on Computing Education · 2015
Team Projects in Computing EducationBörstler, Jürgen; Hilburn, Thomas B. · ACM Transactions on Computing Education · 2016
Building Security In: Preparing for a Software Security CareerMead, Nancy R.; Hilburn, Thomas B. · IEEE Security & Privacy · 2013
An overview of GRCSE: Graduate Reference Curriculum for Systems EngineeringTowhidnejad, Massood; Hilburn, Thomas B. · QScience Proceedings · 2014
A top-down approach to teaching an introductory computer science courseHilburn, Thomas B. · ACM SIGCSE Bulletin · 1993
Extinction patterns, δ18 O trends, and magnetostratigraphy from a southern high-latitude Cretaceous–Paleogene section: Links with Deccan volcanismThomas S. Tobin; Peter D. Ward; Eric J. Steig; Eduardo B. Olivero; Isaac A. Hilburn; Ross N. Mitchell; Matthew R. Diamond; Timothy D. Raub; Joseph L. Kirschvink · 2012