Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Internship Program
    • Prospective Students
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Publications /
  • New Developments In Model-Integrated Development of High-Confidence Software
Author
Joseph Porter
Graham Hemingway
Nicholas Kottenstette
Harmon Nine
Chris vanBuskirk
Gabor Karsai
Janos Sztipanovits
Year of Publication
2010
Google Scholar | BibTeX | XML

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu