[IEEE 16th Annual Symposium on Frequency Control - Atlantic City, NJ, USA (1962.04.25-1962.04.27)] 16th Annual Symposium on Frequency Control - 16th Annual Symposium Program
- 文件大小179.24KB
- 发表时间1962
- DOI10.1109/freq.1962.199495
- 页码1-6
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [Welcome]2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Scrum goes formal: Agile methods for safety-critical systemsWolff, Sune · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Contents [breaker page]2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Language engineering as an enabler for incrementally defined formal analysesRatiu, Daniel; Schaetz, Bernhard; Voelter, Markus; Kolb, Bernd · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Revisiting modal interface automataKrka, Ivo; Medvidovic, Nenad · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Formalisms and structures: Keynote abstractJackson, Michael · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Making sense of recursion patternsBailes, Paul; Brough, Leighton · 2012