책 이미지
eBook 미리보기
책 정보
· 제목 : Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22 (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031197611
· 쪽수 : 424쪽
· 출판일 : 2022-10-20
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031197611
· 쪽수 : 424쪽
· 출판일 : 2022-10-20
목차
Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.
