ISIS Publications

Export 5 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Nine, Harmon  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "Rapid Property Specification and Checking for Model-Based Formalisms", IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011. Abstract  Download: RSP2011.pdf (2.08 MB)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach", SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011. Abstract  Download: 0037549711401950.full_.pdf (815.53 KB)
Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2", Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University:, 05/2009. Abstract  Download: C4I-09-07.pdf (717.63 KB)