Author:
Seiter Julia,Wille Robert,Drechsler Rolf
Publisher
Springer International Publishing
Reference5 articles.
1. Bailey, B., Martin, G., Piziali, A.: ESL Design and Verification: A Prescription for Electronic System Level Methodology. Morgan Kaufmann, Elsevier (2007)
2. IEEE Standard SystemC Language Reference Manual. IEEE Computer Society (2006)
3. Drechsler, R., Soeken, M., Wille, R.: Formal specification level: towards verification-driven design based on natural language processing. In: Forum on specfication and Design Languages, pp. 53–58 (2012)
4. Soeken, M., Drechsler, R.: Formal Specification Level. Springer, Heidelberg (2014)
5. Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency problems in UML-based software development. In: UML2004 Satellite Activities (2005)